x `f` z = x